Pendekatan aksioman Geometri_Euclid

Geometri Euclid merupakan satu sistem aksioman, yang mana semua teorem ("penyataan benar") adalah diambil daripada satu bilangan aksiom-aksiom yang terhingga. Pada permulaan buku Elements yang pertama, Euclid memberikan lima postulat (aksiom):

  1. Apa-apa dua titik boleh dihubungkan dengan satu garis lurus.
  2. Apa-apa tembereng garis lurus boleh dipanjangkan di dalam satu garis lurus.
  3. Satu bulatan boleh dilukis dengan menggunakan satu garis lurus sebagai jejari dan satu lagi titik hujung sebagai pusat.
  4. Semua sudut serenjang adalah kongruen.
  5. Postulat selari. Jika dua garis bersilangan dengan yang ketiga dalam satu cara yang jumlah sudut dalaman adalah kurang daripada satu lagi, maka dua garis ini mesti bersilangan di atas satu sama lain sekiranya dipanjangkan secukupnya.

Aksiom-aksiom ini menggunakan konsep-konsep berikut: titik, tembereng garis lurus dan garis, sebahagian daripada satu garis, bularan dengan jejari dan pusat, sudut serenjang, kongruen, sudut-sudut dalaman dan serenjang, jumlah. Kata-kata kerja yang berikut muncul: sambung, dipanjangkan, lukis, silang. Bulatan ini digambarkan dengan menggunakan postulat 3 adalah sangat unik. Postulat-postulat 3 dan 5 hanya boleh digunakan untuk geometri satah; dalam tiga dimensi, postulat 3 mentakrifkan suatu bulatan.

Satu bukti daripada buku Euclid "Elements" bahawa apabila diberikan satu tembereng garis, satu segitiga sama wujud termasuklah tembereng sebagai salah satu daripada tiga sisi. Buktinya adalah dengan cara binaan: Satu segitiga sama ΑΒΓ dibuat dengan melukis bulatan Δ dan Ε berpusat pada titik-titik Α dan Β, dan dengan mengambil satu persilangan bulatan sebagai puncak sudut ketiga bagi segitiga tersebut.

Postulat 5 membawa kepada geometri yang sama sebagai penyataan yang berikut, dikenali sebagai Aksiom Playfair, yang hanya boleh dipegang hanya konsep di dalam satah itu:

Menerusi satu titik yang tidak terletak di atas satu garis lurus, hanya satu sahaja garis yang boleh dilukis tidak akan bertemu garis yang diberi.


Postulat-postulat 1, 2, 3, dan 5 menegaskan bahawa kewujudan dan keunikan rajah-rajah geometri, dan peegasan ini adalah satu binaan semulajadi: iaitu, kita tidak diberitahu bahawa ada perkara tertentu wujud, tetapi kaedah-kaedah diberi untuk mencipta dengan tidak lebih daripada satu kompas dan satu pinggiran lurus yang tidak bertanda. Dalam kes ini, geometri Euclid adalah lebih konkrit daripada kebanyakan sistem-sistem aksiom moden seperti teori set, yang mana kebiasaannya menegaskan kewujudan objek-objek tanpa mengatakan bagaimana untuk membina mereka, atau menegaskan kewujudan objek-objek yang tidak boleh dibina di dalam ruang teori berkenaan.

Sebenarnya, binaan-binaan garis di atas kertas dan sebagainya adalah model-model objek yang lebih baik ditakrifkan di dalam sistem formal, daripada hanya contoh-contoh objek berkenaan. Sebagai contoh, satu garis lurus Euclid tidak mempunyai lebar, tetapi apa-apa garis yang benar akan menjadi lebar.

Elements juga memasukkan lima "notasi biasa":

  1. Perkara yang sama dengan benda yang sama tetapi juga setara antara satu sama lain.
  2. Jika setara ditambahkan kepada persamaan, maka jumlah keseluruhan juga adalah setara.
  3. Jika setara ditolak daripada persamaan, maka bakinya juga adalah setara.
  4. Perkara yang bertembung di antara satu sama lain juga setara antara satu sama lain that coincide with one another equal one another.
  5. Jumlah keseluruhan juga lebih besar daripada bahagian berkenaan.

Euclid juga menggunakan sifat-sifat lain yang berkaitan dengan magnitud. 1 adalah satu-satunya bahagian daripada dasar logik yang Euclid lahirkan dengan terang dan jelas. 2 dan 3 adalah prinsip-prinsip "aritmetik"; perhatikan bahawa makna-makna "tambah" dan "tolak" di dalam konteks geometri asli ini telah diberi sama seperti diambil. 1 hingga 4 secara takrifan mempunyai persamaan, yang mana boleh juga diambil sebagai bahagian pendasaran logik atau sebagai satu keperluan hubungan kesetaraan , seperti "pertembungan," definisi yang sangat teliti. 5 adalah satu prinsip mereologi. "Keseluruhan", "sebahagian", dan "baki" memerlukan takrifan yang tepat.

Berkaitan